161. Proof theory
پدیدآورنده : / Kurt Schutte
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Proof theory
رده :
511
.
3
S385
162. #Proof theory
پدیدآورنده : #Kurt Schutte , translation from the German by J. N. Crossley
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع : Proof theory
رده :
#
QA
،#.
S3813
163. Proof theory /
پدیدآورنده : Gaisi Takeuti
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Proof theory
رده :
QA9
.
54
.
T34
1975
164. Proof theory :
پدیدآورنده : edited by Peter Aczel, Harold Simmons, and Stanley S. Wainer
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Proof theory
رده :
QA9
.
54
.
L44
1990
165. Proof theory
پدیدآورنده : Schutte, Kurt
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
S3813
166. Proof theory
پدیدآورنده : Schutte, Kurt
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
S3813
167. Proof theory
پدیدآورنده : Takeuti, Gaisi
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
T34
1975
168. Proof theory, Beweistheorie.English
پدیدآورنده : Schutte, K.)Kurt(, Kurt Schutte ; translation from the German by J. N. Crossley
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
S3813
169. Proof theory : a selection of papers from the Leeds Proof Theory Programme, 1990
پدیدآورنده : edited by Peter Aczel, Harold Simmons, and Stanley S. Wainer
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
L4
1990
170. Proof theory: an introduction
پدیدآورنده : Pohlers, Wolfram.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Proof theory
رده :
QA
3
.
L28
no
.
1407
171. Proof theory :an introduction
پدیدآورنده : Pohlers, Wolfram.
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Proof theory
رده :
QA3
.
L28
no
.
1407
172. Proof theory and algebra in logic
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Proof theory. ;
173. Proof theory and automated deduction
پدیدآورنده : Goubault-Larrecq, Jean
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Proof theory , Automatic theorem proving
رده :
QA
9
.
54
.
G68
1997
174. Proof theory and automated deduction
پدیدآورنده : Goubault-Larrecq, Jean
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Proof theory,، Automatic theorem proving
رده :
QA
9
.
54
.
G68
175. Proof theory and automated deduction
پدیدآورنده : Goubault-Larrecq, Jean
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Proof theory,، Automatic theorem proving
رده :
QA
9
.
54
.
G68
1997
176. Proof theory and automated deduction
پدیدآورنده : by Jean Goubault-Larrecq and Ian Mackie,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Proof theory,Automatic theorem proving
رده :
QA
.
G68
9
.
54
1997
177. Proof theory and intuitionistic systems
پدیدآورنده : Scarpellini, Bruno
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Intuitionistic mathematics,، Proof theory
رده :
QA
3
.
L28
no
.
212
178. Proof theory and intuitionistic systems
پدیدآورنده : Scarpellini, Bruno
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Intuitionistic mathematics,، Proof theory
رده :
QA
3
.
L28
no
.
212
179. Proof theory and intuitionistic systems
پدیدآورنده : Scarpellini, Bruno.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Intuitionistic mathematics,، Proof theory
رده :
QA
1
.
L4
v
.
212
180. Proof theory and intuitionistic systems
پدیدآورنده : Scarpellini, Bruno
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Intuitionistic mathematics,، Proof theory
رده :
QA
3
.
L28
Vol
.
212
